home *** CD-ROM | disk | FTP | other *** search
/ MacHack 1994 / MacHack 1994.toast / MacHack™94 / Talks & Papers / Timothy Knox / Help / Help Files / ATMS / test atms < prev   
Text File  |  1994-06-24  |  473b  |  20 lines
  1.  
  2.  
  3.  
  4. (just '([(p1)(s1)][(p2)(s1)][(p2)(s2)][(p2)(s3)][(p3)(s2)][(p3)(s3)]))
  5.  
  6. (define l…nogoods (min!lts (pcart…lts (proj…lfe pd '(p1 p2 p3) (• ()())))))
  7.  
  8. l…nogoods
  9. ()
  10.  
  11. (just '([(p1)(s1)][(p2)(s1)][(p2)(s2)][(p2)(s3)][(p3)(s2)]
  12.   [(s1 s2)(etat)][(s3 etat)()]))
  13.  
  14. (define l…nogoods (min!lts (pcart…lts (proj…lfe pd '(p1 p2 p3) (• ()())))))
  15.  
  16. (pplts l…nogoods)
  17. { = ((p2)) }
  18.  
  19. (pplts (epurer (min!lts (pcart…lts (proj…lfe pd '(p1 p2 p3) (• () '(etat))))) l…nogoods))
  20. { = ((p1 p3)) }